projects / cargo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 880fde5 87f9801)
Auto merge of #2757 - alexcrichton:panic-profile-dox, r=brson
authorbors <bors@rust-lang.org>
Sat, 11 Jun 2016 01:32:24 +0000 (18:32 -0700)
committerGitHub <noreply@github.com>
Sat, 11 Jun 2016 01:32:24 +0000 (18:32 -0700)
Document the `panic` profile option

Closes #2750


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.